texinfo.tex update
authorKarl Berry <karl@gnu.org>
Thu, 3 May 2007 16:30:24 +0000 (16:30 +0000)
committerKarl Berry <karl@gnu.org>
Thu, 3 May 2007 16:30:24 +0000 (16:30 +0000)
commitbc806d14a2a2ed77222a105dcc2dfb8f2f85efd3
tree68950f3a12ec485b961ad1eb0ed1389a62376c31
parentceb27243d381408ac8adcabe91fa945af87a81ae
texinfo.tex update
man/ChangeLog
man/texinfo.tex